Necessary conditions for tractability of valued CSPs
نویسندگان
چکیده
The connection between constraint languages and clone theory has been a fruitful line of research on the complexity of constraint satisfaction problems. In a recent result, Cohen et al. [SICOMP’13] have characterised a Galois connection between valued constraint languages and so-called weighted clones. In this paper, we study the structure of weighted clones. We extend the results of Creed and Živný from [CP’11/SICOMP’13] and provide necessary conditions for tractability of weighted clones and thus valued constraint languages. We demonstrate that some of the necessary conditions are also sufficient for tractability, while others are provably not.
منابع مشابه
Hybrid (V)CSPs and algebraic reductions
Constraint Satisfaction Problem (CSP) is a fundamental algorithmic problem that appears in many areas of Computer Science. It can be stated as computing a homomorphism R → Γ between two relational structures, e.g. between two directed graphs. Analyzing its complexity has been a very fruitfull research direction, especially for fixed template CSPs (or, non-uniform CSPs) denoted CSP(Γ), in which ...
متن کاملThe complexity of general-valued CSPs seen from the other side
General-valued constraint satisfaction problems (VCSPs) are generalisations of CSPs dealing with homomorphisms between two valued structures. We study the complexity of structural restrictions for VCSPs, that is, restrictions defined by classes of admissible lefthand side valued structures. As our main result, we show that for VCSPs of bounded arity the only tractable structural restrictions ar...
متن کاملWeighted composition operators between Lipschitz algebras of complex-valued bounded functions
In this paper, we study weighted composition operators between Lipschitz algebras of complex-valued bounded functions on metric spaces, not necessarily compact. We give necessary and sufficient conditions for the injectivity and the surjectivity of these operators. We also obtain sufficient and necessary conditions for a weighted composition operator between these spaces to be compact.
متن کاملOn Tractability and Hypertree Width
We investigate in this paper the notion of hypertree width as a parameter for bounding the complexity of CSPs, especially those whose constraints can be represented compactly, such as SAT problems. We first identify a simple condition which is necessary for hypertree width to provide better complexity bounds than treewidth. We then observe that SAT problems do not satisfy this condition and, he...
متن کاملHybrid tractability of constraint satisfaction problems with global constraints
A wide range of problems can be modelled as constraint satisfaction problems (CSPs), that is, a set of constraints that must be satisfied simultaneously. Constraints can either be represented extensionally, by explicitly listing allowed combinations of values, or intensionally, whether by an equation, propositional logic formula, or other means. Intensionally represented constraints, known as g...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- SIAM J. Discrete Math.
دوره 29 شماره
صفحات -
تاریخ انتشار 2015